Modular programming languages (7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006)Lightfoot, David; Szyperski, Clemens.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-40927-0, 1Vol, X-414 p, isbn 3-540-40927-0Conference Proceedings

Implicit and dynamic parameters in C++HEINLEIN, Christian.Lecture notes in computer science. 2006, pp 37-56, issn 0302-9743, isbn 3-540-40927-0, 1Vol, 20 p.Conference Paper

Termination is not modular for confluent variable-preserving term rewriting systemsOHLEBUSCH, E.Information processing letters. 1995, Vol 53, Num 4, pp 223-228, issn 0020-0190Article

The DBPL project advances in modular database programmingSCHMIDT, J. W; MATTHES, F.Information systems (Oxford). 1994, Vol 19, Num 2, pp 121-140, issn 0306-4379Article

Forwarding in attribute grammars for modular language designVAN WYK, Eric; DE MOOR, Oege; BACKHOUSE, Kevin et al.Lecture notes in computer science. 2002, pp 128-142, issn 0302-9743, isbn 3-540-43369-4Conference Paper

Modular logic programming and generalized quantifiersEITER, T; GOTTLOB, G; VEITH, H et al.Lecture notes in computer science. 1997, pp 289-308, issn 0302-9743, isbn 3-540-63255-7Conference Paper

A smart local moving algorithm for large-scale modularity-based community detectionWALTMAN, Ludo; VAN ECK, Nees Jan.The European physical journal. B, Condensed matter physics (Print). 2013, Vol 86, Num 11, issn 1434-6028, 471.1-471.14Article

Die Programmiersprache Pascal-XT, ein Weg zur modularen Programmierung = The programming language Pascal-XT, a way to modular programmingMITTENDORF, H; WENZ, A.Automatisierungstechnische Praxis. 1990, Vol 32, Num 1, pp 30-37, issn 0178-2320, 8 p.Article

A simple technique for automatic recompilation in modular programming languagesOLSSON, R. A; WHITEHEAD, G. R.Software, practice & experience. 1989, Vol 19, Num 8, pp 757-773, issn 0038-0644Article

Non-dependent types for Standard ML modulesRUSSO, C. V.Lecture notes in computer science. 1999, pp 80-97, issn 0302-9743, isbn 3-540-66540-4Conference Paper

Mixin modules in a call-by-value settingHIRSCHOWITZ, Tom; LEROY, Xavier.Lecture notes in computer science. 2002, pp 6-20, issn 0302-9743, isbn 3-540-43363-5Conference Paper

Modular programming languages (Zurich, 6-8 September 2000)Gutknecht, Jürg; Weck, Wolfgang.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67958-8, XII, 298 p, isbn 3-540-67958-8Conference Proceedings

Stand-alone messages: A step towards component-oriented programming languagesFRÖHLICH, P. H; FRANZ, M.Lecture notes in computer science. 2000, pp 90-103, issn 0302-9743, isbn 3-540-67958-8Conference Paper

Modular class analysis with DATALOGBESSON, Frédéric; JENSEN, Thomas.Lecture notes in computer science. 2003, pp 19-36, issn 0302-9743, isbn 3-540-40325-6, 18 p.Conference Paper

Modular specification and verification of object-oriented programsMüller, Peter.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43167-5, XIV, 292 p, isbn 3-540-43167-5Book

A technique for modular logic program refinementCOLVIN, Robert; HAYES, Ian; STROOPER, Paul et al.Lecture notes in computer science. 2001, Vol 2042, pp 38-56, issn 0302-9743, isbn 3-540-42127-0Conference Paper

Termination transformation by tree lifting orderingAOTO, T; TOYAMA, Y.Lecture notes in computer science. 1998, pp 256-270, issn 0302-9743, isbn 3-540-64301-XConference Paper

The MODUSIM concept for modular modeling and simulation in Chemical EngineeringDIETERICH, E. E; EIGENBERGER, G.Computers & chemical engineering. 1997, Vol 21, pp S805-S809, issn 0098-1354, SUPConference Paper

Operation refinement and monotonicity in the schema calculusDEUTSCH, Moshe; HENSON, Martin C; REEVES, Steve et al.Lecture notes in computer science. 2003, pp 103-126, issn 0302-9743, isbn 3-540-40253-5, 24 p.Conference Paper

Towards a modular program derivation via fusion and tuplingCHIN, Wei-Ngan; ZHENJIANG HU.Lecture notes in computer science. 2002, pp 140-155, issn 0302-9743, isbn 3-540-44284-7, 16 p.Conference Paper

La RATP gère ses déchets = Waste management at RATPGRANDJEAN, R; SENTIS, J; HUMBERT, S et al.Revue générale des chemins de fer (1924). 1995, Num 2, pp 23-26, issn 0035-3183Article

Environnement de la programmation pour la simulation en taitement du signal (EPROSI) = Programming environment for signal processing simulation (EPROSI)CARASI, J. J.1988, 101 p.Report

A closer look at export and import statementsFELLEISEN, M; FRIEDMAN, D. P.Computer languages. 1986, Vol 11, Num 1, pp 29-37, issn 0096-0551Article

The PALM project : MPMD paradigm for an oceanic data assimilation softwareFOUILLOUX, A; PIACENTINI, A.Lecture notes in computer science. 1999, pp 1423-1430, issn 0302-9743, isbn 3-540-66443-2Conference Paper

Modularity of termination using dependency pairsARTS, T; GIESL, J.Lecture notes in computer science. 1998, pp 226-240, issn 0302-9743, isbn 3-540-64301-XConference Paper